退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:递归定义的度量空间上基于递归性质的隐藏状态的阶跃索引Kripke模型⋆
Jan Schwinghammer; Lars Birkedal; Kristian Støvring;
机译:递归世界上的逐步索引kripke模型
机译:“无收缩的递归定义的度量空间”的附录[定理。计算科学380(1/2)(2007)143-163]
机译:递归定义的度量空间而无收缩
机译:递归定义的度量空间上基于递归属性的隐藏状态的阶跃索引Kripke模型
机译:使用非递归和递归刚体动力学的高效系留浮空器模型公式化。
机译:通过递归分区分析确定的结直肠癌切除患者的风险人群
机译:递归世界上的逐步索引Kripke模型
机译:递归度量空间的递归可数子集
机译:递归间隔符定义的图案
机译:用于RLC互连和传输线的通过闭合形式生成状态空间模型和通过递归算法传递函数的方法及其模型简化和仿真
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。